Nuprl Definition : rfunction def 9,38

{x | y:A  B(x;y)} is Primitive 
latex


FDL editor aliasesrfun

origin